« Ce petit livre est un bijou d’intelligence, de finesse, de culture, qui prend un objet technique sans rechigner et le tourne et le retourne comme Heidegger nous avait appris à le faire avec les chaussures de Van Gogh. Ce qui frappe, c’est l’ambition d’une méditation sur les cartes de la modernité contemporaine, sur le fameux Grand Paris, sur le sujet, sur le pluriel, sans les faux-fuyants du postmoderne, de la citation absurde. Luis de Miranda se promène, il vous (...) conte qu’il se promène, mais il vous mène avec une grande maîtrise et sait où il veut aller. Rien de gratuit dans cette rencontre de l’enseigne de kebabs sur la table de dissection de la Ville Néon. C’est plutôt une nouvelle méditation cartésienne après Descartes et Husserl : où le poêle et sa chaleur ont fait place au bruit vrillant du gaz dans un tube. Je suis, je crée, donc j’entends. » Yann Moulier-Boutang, ancien élève de l’ENS, professeur agrégé d’économie à l’université de technologie de Compiègne, directeur de la revue Multitudes. Né d’une rencontre inopinée avec un néon sur le quai du Louvre, ce livre a été composé à partir d’un séminaire donné par l’auteur à l’hiver 2012. Un voyage inspiré à travers la nuit, qui déchiffre les halos du passé et les reflets du présent pour donner à entendre une certaine magie du futur. Luis de Miranda, philosophe, romancier, révélateur du créalisme, est notamment l’auteur d’un essai remarqué, L’art d’être libres au temps des automates (Max Milo, 2010). (shrink)

This essay aims to contribute comparative points of contact between two influential figures of nineteenth century aesthetic reflection; namely, Victor Hugo’s artful considerations on architecture in his novel Notre-Dame de Paris and G.W.F. Hegel’s philosophical appraisal of the artform in his Lectures on Fine Art. Although their individual views on architecture are widely recognized, there is scant comparative commentary on these two thinkers, which seems odd because of the relative convergence of their historically situated observations. Owing to this shortage, I (...) note that, while certainly not identical, Hugo and Hegel share an aesthetic family resemblance in how they hold similar ideas on architecture’s symbolic function, cognitive content, and, ultimately, how the artform’s ability to remain a standing paragon of meaning was razed by successive modes of cultural communication. Consequently, the essay works to show some congruent aesthetic affinities between these two great figures, but which appears to be overlooked in the literature. (shrink)

Theodor W. Adorno’s letter correspondence with Walter Benjamin throughout the decade of the 1930’s entertains the central question concerning the possibility of philosophy in their intellectual milieu. The fate of this possibility for Adorno hinges on Benjamin’s work-in-progress Das Passagen-Werk—a fate that is catastrophically blocked by an uncritical tendency convicted repeatedly by the former as “undialectical.” And yet Adorno obstinately persists in clinging to the canon of a philosophically overdetermined demand he endearingly calls “my Arcades orthodoxy.” The threatening destruction of (...) the aura of this orthodoxy reaches a crisis in Adorno’s ruthless metacritique of Benjamin’s alleged undialectical treatment of aesthetic autonomy in a draft of the Kunstwerk essay, marking a critical wound in the correspondence which the following exposition tracks in the enigmatic changeover in the philosophical exigency of the said orthodoxy from prima philosophia to ultima philosophia. The lingering wound is registered in Adorno’s late philosophical work. (shrink)

Les défenseurs d'Ion Antonescu considèrent l'acte du roi Mihai I comme une erreur tragique ou une « grave erreur politique », affirmant que le roi aurait dû attendre encore un mois ou deux pour que le Maréc lui-même exige un armistice. L'historien Neagu Djuvara a déclaré que ces « conditions plus faciles » qu'aurait obtenues Ion Antonescu « sont de pures fables », en réalité Antonescu avait l'intention de donner aux Allemands une pause pour quitter la Roumanie. Entre le 24 (...) et le 26 août, l'armée roumaine a vaincu les derniers points de résistance allemande, avec l'aide de volontaires civils. Jusqu'au 28 août, il n'y avait plus de troupes allemandes à Bucarest et ses environs, et jusqu'au 31 août, toutes les troupes allemandes du pays étaient expulsées. Le 10 février 1947 a lieu la cérémonie de signature du Traité de paix de Paris entre les puissances alliées et associées et la Roumanie. Les Alliés n'ont pas reconnu la Roumanie comme une nation co-belligérante, la considérant comme une « alliée de l'Allemagne hitlérienne ». La frontière avec l'URSS et la Bulgarie a été fixée dans son état en janvier 1941, mais la Roumanie a repris le nord de la Transylvanie, suite à la reconnaissance que la Roumanie « a agi dans l'intérêt de toutes les Nations Unies » après le 23 août 1944. -/- DOI: 10.13140/RG.2.2.32483.02086. (shrink)

PREMISSA No século XIX, ocorreram transformações impulsionadas pela emergência de novas fontes energéticas (água e petróleo), por novos ramos industriais e pela alteração profunda nos processos produtivos, com a introdução de novas máquinas e equipamentos. Depois de 300 anos de exploração por parte das nações europeias, iniciou -se, principalmente nas colônias latino-americanas, um processo intenso de lutas pela independência. É no século XIX, já com a consolidação do sistema capitalista na Europa, que se encontra a herança intelectual mais próxima da (...) qual surgirá a Sociologia como ciência particular. No início desse século, as ideias do Conde de Saint-Simon (1760-1825), de Georg Wilhelm Friedrich Hegel (1770-1831), de David Ricardo (1772-1823) e de Charles Darwin (1809-1882), entre outros, foram o elo para que Alexis de Tocqueville (1805-1859), Auguste Comte (1798-1857), Karl Marx (1818 -1883) e Herbert Spencer (1820-1903), entre outros, desenvolvessem reflexões sobre a sociedade de seu tempo. Auguste Comte e Karl Marx foram os pensadores que lançaram as bases do pensamento sociológico e de duas grandes tradições – a positivista e a socialista – que muito influenciaram o desenvolvimento da Sociologia no Brasil. 1 AUGUSTE COMTE E A TRADIÇÃO POSITIVISTA Isidore Auguste Marie François Xavier Comte nasceu em Montpellier, na França, em 19 de janeiro de 1798. Com 16 anos de idade, ingressou na Escola Politécnica de Paris, fato que teria significativa influência na orientação posterior de seu pensamento. De 1817 a 1824, foi secretário do Conde de Saint-Simon. Comte declarou que, com Saint -Simon, aprendeu muitas coisas que jamais encontraria nos livros e que, no pouco tempo em que conviveu com o conde, fez mais progressos do que faria em muitos anos, se estivesse sozinho. Toda a obra de Comte está permeada pelos acontecimentos que ocorreram após a Revolução Francesa de 1789. Ele defendeu parte dos princípios revolucionários e criticou a restauração da monarquia, preocupando-se fundamentalmente em reorganizar a sociedade, que, no seu entender, estava em ebulição e mergulhada no caos. Para Comte, a desordem e a anarquia imperavam em virtude da confusão de princípios (metafísicos e teológicos), que não se adequavam à sociedade industrial em expansão. Era, portanto, necessário superar esse estado de coisas, usando a razão como fundamento da nova sociedade. Propôs, então, a mudança da sociedade por meio da reforma intelectual plena das pessoas. De acordo com o pensador, com a modificação do pensamento humano, por meio do método científico, que ele chamava de “filosofia positiva”, haveria uma reforma das instituições. Com a proposta do estudo da sociedade por meio da análise de seus processos e estruturas, e da reforma prática das instituições, Comte criou uma nova ciência, à qual deu o nome de “física social”, passando a chamá-la posteriormente de Sociologia. A Sociologia representava, para Comte, o coroamento da evolução do conhecimento, mediante o emprego de métodos utilizados por outras ciências, que buscavam conhecer os fenômenos constantes e repetitivos da natureza: a observação, a experimentação, a comparação e a classificação. De acordo com esse pensador, a Sociologia, como as ciências naturais, deve sempre procurar a reconciliação entre os aspectos estáticos e os dinâmicos do mundo natural ou, no caso da sociedade humana, entre a ordem e o progresso. O lema da “filosofia positiva” proposta por Comte era “conhecer para prever, prever para prover”, ou seja, o conhecimento é necessário para fazer previsões e também para solucionar possíveis problemas. A influência de Comte no desenvolvimento da Sociologia foi marcante, sobretudo, na escola francesa, evidenciando-se em Émile Durkheim e seus contemporâneos e seguidores. Seu pensamento esteve presente em muitas das tentativas de criar tipologias para explicar a sociedade. Suas principais obras são: Curso de filosofia positiva (1830-1842), Discurso sobre o espírito positivo (1848), Catecismo positivista (1852) e Sistema de política positiva (1854). Para concluirmos, Comte explanava que para a superação da anarquia reinante na nova sociedade industrial, a filosofia positivista defendia a subordinação do progresso à ordem. O mesmo era contra o retorno de Luís XVIII ao trono: em sua concepção, a sociedade industrial que emergia requeria um governo fundado na razão. 2 A TRADIÇÃO SOCIALISTA: KARL MARX E FRIEDRICH ENGELS Karl Heinrich Marx nasceu em Tréveris, na antiga Prússia, hoje Alemanha, em 1818 e, em 1830, ingressou no Liceu Friedrich Wilhelm, nessa mesma cidade. Anos depois, foi cursar Direito na Universidade de Bonn, transferindo-se para Berlim em seguida. Pouco a pouco, entretanto, seus interesses migraram para a Filosofia, área na qual defendeu, em 1841, a tese de doutorado A diferença da filosofia da natureza em Demócrito e Epicuro. Sua vida universitária foi marcada pelo debate político e intelectual influenciado pelo pensamento de Ludwig Feuerbach (1804-1872) e, principalmente, pelo de Georg Wilhelm Friedrich Hegel (1770- 1831). Friedrich Engels (1820-1895) nasceu em Barmen (Renânia), na antiga Prússia, hoje Alemanha, filho mais velho de um rico industrial do ramo têxtil. Terminou sua formação secundária em 1837 e a partir de então sua formação intelectual foi por conta própria (autodidata), com alguns cursos universitários esparsos e de curta duração. Desde cedo começou a trabalhar nas empresas de seu pai e foi nessa condição que se deslocou para Bremen por três anos e depois foi enviado pelos pais a Manchester, na Inglaterra, onde trabalhou nas fábricas da família. Engels ficou impressionado com a miséria na qual viviam os trabalhadores das fábricas inglesas. Os dois, Marx e Engels, se encontraram em 1842, quando Marx passou a escrever para A Gazeta Renana, jornal da província de Colônia, do qual Engels era colaborador e mais tarde editor-chefe. O jornal, que criticava o poder prussiano, foi fechado em 1843, e Marx se viu desempregado. Ao perder o emprego, mudou-se para Paris, na França. Ali escreveu, em 1844, os Manuscritos econômico-filosóficos (só publicados em 1932) e, junto com F. Engels, o livro A sagrada família. Por sua vez, F. Engels, em 1844, decidiu voltar para a Alemanha, onde publicou, em 1845, A situação da classe trabalhadora na Inglaterra. Entre 1845 e 1847, Marx exilou-se em Bruxelas, na Bélgica, onde escreveu A ideologia alemã (em parceria com Friedrich Engels) e Miséria da filosofia (1847), obra na qual criticou o filósofo Pierre-Joseph Proudhon (1809-1865). Em 1848, ainda na Bélgica, a parceria com Engels se solidificou ao escreverem juntos o livreto O Manifesto Comunista. Em 1848, Marx foi expulso da Bélgica e retornou a Colônia, na Alemanha (Prússia), sempre pensando na possibilidade de uma mudança estrutural em sua terra natal. Isso, entretanto, não aconteceu e Marx foi expulso da Alemanha em 1849, ano em que migrou para Londres, na Inglaterra, onde permaneceu até o fim da vida. Lá escreveu O 18 Brumário de Luís Bonaparte (1852), sua mais importante obra de reflexão sobre a vida política europeia do século XIX, desenvolveu pesquisas e concluiu seu maior trabalho: O capital: crítica da economia política. O primeiro volume dessa obra foi publicado em 1867; os outros três, em 1885, 1894 e 1905, após a morte de Marx, revisados por F. Engels. 2.1 O contexto histórico e a obra de Marx e Engels Para situar a obra de Marx e Engels, é necessário conhecer um pouco do que acontecia em meados do século XIX. Com as transformações que ocorriam no mundo ocidental, principalmente na esfera da produção industrial, houve um crescimento expressivo no número de trabalhadores industriais urbanos, com uma consequência evidente: precariedade da vida dos operários nas cidades. As condições de trabalho no interior das fábricas eram péssimas. Os empregados eram superexplorados, alimentavam-se mal e trabalhavam em ambientes insalubres. Para enfrentar essa situação e tentar modificá-la, os trabalhadores passaram a se organizar em associações e sindicatos e a promover movimentos de reivindicação. Desenvolveu-se, então, uma discussão das condições sociais, políticas e econômicas para se definirem as possibilidades de intervenção nessa realidade. Desde o início do século XIX, muitos pensadores discutiram essas questões, nas perspectivas socialista e anarquista. Na Inglaterra podem ser citados, entre outros: William Godwin (1756-1836), Thomas Spence (1750-1814), Thomas Paine (1737-1809), Robert Owen (1771-1858) e Thomas Hodgkin (1787-1866). Na França, destacaram-se Étienne Cabet (1788- 1856), Flora Tristan (1803-1844), Charles Fourier (1772-1837) e Pierre-Joseph Proudhon (1809-1865). Marx e Engels levaram em conta esses pensadores, debatendo com alguns contemporâneos e criticando-os. Além disso, incorporaram a tradição da economia clássica inglesa, presente principalmente nas obras de Adam Smith e de David Ricardo. Pode-se dizer, portanto, que Marx e Engels desenvolveram seu trabalho com base na análise crítica da economia política inglesa, do socialismo utópico francês e da filosofia alemã. Esses dois autores não buscavam definir uma ciência específica para estudar a sociedade (como a Sociologia, para Auguste Comte) ou situar seu trabalho em um campo científico particular. Em alguns escritos, Marx afirmou que a História seria a ciência que mais se aproximava de suas preocupações, por abarcar as múltiplas dimensões da sociedade, a qual deveria ser analisada na totalidade, não havendo uma separação rígida entre os aspectos sociais, econômicos, políticos, ideológicos, religiosos, culturais etc. O objetivo de Marx e Engels era estudar criticamente a sociedade capitalista com base em seus princípios constitutivos e em seu desenvolvimento, visando dotar a classe trabalhadora de uma análise política da sociedade de seu tempo. Assim, a tradição socialista nascida da luta dos trabalhadores, muitos anos antes e em situações diferentes, tem como expressão intelectual o pensamento de Karl Marx e Friedrich Engels. Para entender as concepções fundamentais de Marx e Engels é necessário fazer a conexão entre as lutas da classe trabalhadora, suas aspirações e as ideias revolucionárias que estavam presentes no século XIX na Europa. Para eles, o conhecimento científico da realidade só tem sentido quando visa à transformação dessa mesma realidade. A separação entre teoria e prática não é discutida, pois a “verdade histórica” não é algo abstrato e que se define teoricamente; sua verificação está na prática. Apesar de haver algumas diferenças em seus escritos, os elementos essenciais do pensamento de Marx e Engels podem ser assim sintetizados: • historicidade das ações humanas – crítica ao idealismo alemão; • divisão social do trabalho e o surgimento das classes sociais – a luta de classes; • o fetichismo da mercadoria e o processo de alienação; • crítica à economia política e ao capitalismo; • transformação social e revolução; • utopia – sociedade comunista. A obra desses dois autores é muito vasta e não ficou vinculada estritamente aos movimentos sociais dos trabalhadores. Pouco a pouco foi introduzida nas universidades como parte do estudo em diferentes áreas do conhecimento. Estudiosos de Filosofia, Sociologia, Ciência Política, Economia, História e Geografia, entre outras áreas, foram influenciados por ela. Na Sociologia, como afirma Irving M. Zeitlin, no livro Ideología y teoría sociológica, tanto Max Weber quanto Émile Durkheim fizeram, em suas obras, um debate com as ideias de Karl Marx. Pelas análises da sociedade capitalista de seu tempo e a repercussão que tiveram em todo o mundo, principalmente no século XX, nos movimentos sociais e nas universidades, Marx e Engels são considerados autores clássicos da Sociologia. No campo dessa disciplina, porém, o pensamento deles ficou um pouco restrito, pois perdeu aquela relação entre teoria e prática (práxis), ou seja, entre a análise crítica e a prática revolucionária. Essa relação esteve presente, por exemplo, na vida e na obra dos russos Vladimir Ilitch Ulianov, conhecido como Lênin (1870-1924), e Leon D. Bronstein, conhecido como Trotsky (1879-1940), da alemã Rosa Luxemburgo (1871-1919) e do italiano Antonio Gramsci (1891- 1937), que tiveram significativa influência no movimento operário do século XX. Com base no trabalho de Marx e Engels, muitos autores desenvolveram estudos acadêmicos em vários campos do conhecimento. Podemos citar, por exemplo, Georg Lukács (1885-1971), Theodor Adorno (1903-1969), Walter Benjamin (1892-1940), Henri Lefebvre (1901-1991), Lucien Goldmanm (1913 -1970), Louis Althusser (1918 -1990), Nikos Poulantzas (1936-1979), Edward P. Thompson (1924-1993) e Eric Hobsbawm (1917 -2012). O pensamento de Marx e Engels continua, assim, presente em todo o mundo, com múltiplas tendências e variações, sempre gerando controvérsias. REFERENCIAL TEÓRICO GEMKOW, H.; PSUA, I. M. L. Marx e Engels: Vida e Obra. São Paulo: Alfa e Ômega, 1984. 232 pp. GIANOTTI, J. A. Comte. São Paulo: Abril Cultural, 1978. 318 pp. (Col. Os Pensadores) KONDER, L. Marx: vida e obra. 7ª ed. São Paulo: Paz e Terra, 2007. 154 pp. (Col. Vida e Obra). (shrink)

B.K.Matilal, and earlier J.F.Staal, have suggested a reading of the `Nyaya five limb schema' (also sometimes referred to as the Indian Schema or Hindu Syllogism) from Gotama's Nyaya-Sutra in terms of a binary occurrence relation. In this paper we provide a rational justification of a version of this reading as Analogical Reasoning within the framework of Polyadic Pure Inductive Logic.

ABSTRACT Objectives There is little research on moral uncertainties and distress of palliative and hospice care providers (PHCPs) working in jurisdictions anticipating legalising voluntary assisted dying (VAD). This study examines the perception and anticipated concerns of PHCPs in providing VAD in the State of Queensland, Australia prior to legalisation of the practice in 2021. The findings help inform strategies to facilitate training and support the health and well-being of healthcare workers involved in VAD. Design The study used a qualitative approach (...) to examine and analyse the perception and anticipated concerns of PHCPs regarding challenges of providing assisted dying in Queensland. Fourteen PHCPs were recruited using a purposive sampling strategy to obtain a broad representation of perspectives including work roles, geographical locations and workplace characteristics. Data were collected via one in-depth interview per participant. The transcripts were coded for patterns and themes using an inductive analysis approach following the tradition of Grounded Theory. Setting The study was conducted in hospital, hospice, community and residential aged care settings in Queensland, Australia. These included public and private facilities, secular and faith-based facilities, and regional/rural and urban facilities. Participants Interviews were conducted with fourteen PHCPs: 10 nurses and 4 physicians; 11 female and 3 male. The median number of years of palliative care practice was 17, ranging from 2 to 36 years. For inclusion, participants had to be practising palliative and hospice care providers. Results PHCPs are divided on whether VAD should be considered part of palliative care. Expectations of moral distress and uncertainty about practising VAD were identified in five areas: handling requests, assessing patient capacity, arranging patient transfers and logistical issues, managing unsuccessful attempts, and dealing with team conflicts and stigma. Conclusions The possibility of having to practise VAD causes moral distress and uncertainty for some PHCPs. Procedural clarity can address some uncertainties; moral and psychological distress, however, remains a source of tension that needs support to ensure ongoing care of both patients and PHCPs. The introduction of VAD post-legalisation may present an occasion for further moral education and development of PHCPs. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Le texte suivant s'appuie assez largement sur des informations scientifiques de la biologie végétale. Ce choix de philosopher à partir de la technicité et de l'historicité des objets botaniques correspond à un parti pris. La proximité de l’humain à ses objets d’étude, sa tendance à anthropomorphiser, voire anthropocentrer, les observations ou les problèmes qui se présentent à lui, a fait l’objet de multiples réflexions philosophiques et épistémologiques. Kant, pour qui « tout intérêt est finalement pratique [...] même celui de la (...) raison spéculative n’est que conditionné et n’est complet que dans l’usage pratique » 1 , Bachelard, qui appelle à « substituer à la notion anthropomorphe de cause la notion scientifique de fonction » 2 , ou Canguilhem pour qui « l’anthropocentrisme est plus aisé à rejeter que l’anthropomorphisme [...] Peut-on être biologistes sans se sentir du côté des vivants ? » 3 . Ces réflexions ne sont-elles pas toujours centrées sur les modes de connaissance ou de pensée de l’humain, alors que les « objets d’étude » en question demeurent souvent dans un certain flou, voire une large indétermination ? La démarche suivie ici tente d’aller dans une autre direction. Elle interroge les effets de l’anthropocentrisation d’objets spécifiques à la biologie végétale, envisagée aussi bien dans sa profondeur historique que dans ses développements techniques récents. Nous tentons ici un pari : une analyse précise de nos connaissances botaniques, actuelles et passées, peut nourrir la réflexion philosophique sur notre rapport aux plantes et, à travers elles, sur nous-mêmes. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

This is not a guide for your writing process. You should write in whatever way expressing and making sense of your ideas feels most natural and most productive to you. This is a guide for organizing your ideas, after you have captured some of them in fits and starts of prose, into a particular kind of final product: the basic philosophy paper.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Throughout the present text, an account of the main contributions of Luis Villoro Toranzo will be made as a tribute to three years after his death.

James Sterba has recently argued that the free will defense fails to explain the compossibility of a perfect God and the amount and degree of moral evil that we see. I think he is mistaken about this. I thus find myself in the awkward and unexpected position, as a non-theist myself, of defending the free will defense. In this paper, I will try to show that once we take care to focus on what the free will defense is trying to (...) accomplish, and by what means it tries to do so, we will see that Sterba’s criticism of it misses the mark. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

One of the few points of agreement between most theists and non-theists working on the problem of evil is that the existence of a perfect God is incompatible with the existence of pointless evil. In a series of influential papers, however, Peter van Inwagen has argued that careful attention to the reasoning behind this claim reveals fatal difficulties related to the Sorites Paradox. In this paper, I explain van Inwagen’s appeal to sorites reasoning, distinguish between two different arguments in his (...) work, and argue that they both commit the same so-far-unnoticed mistake. (shrink)

My starting point is what I call the Normative Authority Conception of justification, where S is justified in their belief that p at t (to some degree n) if and only if their believing that p at t is not ruled out by epistemic norms that have normative authority over S at t. With this in mind, this paper develops an account of doxastic justification by first developing an account of the normative authority of epistemic norms. Drawing from work in (...) political philosophy, I argue that (a) the cognitive and evaluative commitments and concerns behind our actual practices of holding each other and ourselves accountable for our beliefs reveal which epistemic norms we have consented to be under, and that (b) it is because we have consented to be under the authority of these norms – by actually holding ourselves and others accountable to them – that they in turn have normative authority over us. By connecting the authority of epistemic norms to the authority we have over ourselves in this way, the resulting account of doxastic justification (i) explains why it can be appropriate to criticize, resent, or sanction someone for having unjustified beliefs, (ii) avoids the phenomena of normative alienation and normative parochialism, and (iii) respects the social and collective nature of epistemic justification. (shrink)

Skeptical theism, broadly construed, is an attempt to leverage our limited cognitive powers, in some specified sense, against “evidential” and “explanatory” arguments from evil. Since there are different versions of these kinds of arguments, there are correspondingly different versions of skeptical theism. In this paper, I briefly explain three versions of these arguments from evil (two from William Rowe and one from Paul Draper) and the three versions of skeptical theism tailor-made to block them (from Stephen Wykstra, Michael Bergmann, and (...) Peter van Inwagen). (shrink)

Deontological evidentialism is the claim that we ought to form and maintain our beliefs in accordance with our evidence. In this paper, I criticize two arguments in its defense. I begin by discussing Berit Broogard’s use of the distinction between narrow-scope and wide-scope requirements against W.K. Clifford’s moral defense of. I then use this very distinction against a defense of inspired by Stephen Grimm’s more recent claims about the moral source of epistemic normativity. I use this distinction once again to (...) argue that Hilary Kornblith’s criticism of Richard Feldman’s defense of is incomplete. Finally, I argue that Feldman’s defense is insensitive to the relation between normative requirements and privileged values: values that have normative authority over us. (shrink)

Abstracting away from its various particular versions, contemporary externalism about knowledge can be broadly characterized as the rejection of two central ideas: that knowledge is incompatible with reflective awareness of the possibility of error, and that knowledge is necessarily tied to the resources that are available from within the first-person perspective. In this brief introduction, I outline five distinctly externalist accounts of knowledge, and two distinctly externalist methodological approaches to knowledge, all fitting this general description.

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

To most of us – believers and non-believers alike – the possibility of a perfect God co-existing with the kinds of evil that we see calls out for explanation. It is unsurprising, therefore, that the belief that God must have justifying reasons for allowing all the evil that we see has been a perennial feature of theistic thought. Recently, however, a growing number of authors have argued that the existence of a perfect God is compatible with the existence of gratuitous (...) evil. Given powerful, millenia-long sensibilities about power and love and justice, it isn’t hard to find that suggestion simply incredible. Nonetheless, in this paper I will argue that the most prominent theistic alternatives to what has seemed incredible to most of us throughout most of history are themselves patently unacceptable for the theist as well. On any of the most widely accepted accounts of how God could have justifying reasons for permitting some evils, God’s existence means that we have justifying reasons for perpetrating and allowing every evil that we see. That's hard to swallow too. If I’m right about all of this, then two competing outcomes seem to present themselves as a possible result. On the one hand, for the theist, the apparently outrageous suggestion that the existence of a perfect God is compatible with gratuitous evil no longer looks like it faces a formidable, hard-to-resist alternative. On the other hand, some like me might think that my arguments go no distance at all towards dispelling the incredibility of the gratuitous evil nouvelle vague. On this line, theism may seem now to be between the rock and the hard place: it seems hard to make sense of the existence of a perfect God whether or not He has justifying reasons for allowing all the evil that we see. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

In the following pages, the main proposal is to indicate how Max Weber has dialogued directly with some prerogatives from Kant’s Critic of practical Reason, following the reception of Wilhelm Windelband’s concept of “responsibility” (Verantwortlichkeit) and his theory of values. In sight of these influences, in this paper will be argued how Weber adherence to the neo-Kantian value concept has made possible a review on the categorical imperatives, which has turned his reading from Kantian philosophy to the proposal of an (...) antinomy between the ethic of conviction and the ethic of responsibility inside the Kantian moral maxims. -/- Nessa abordagem será proposto que a recepção de Max Weber do conceito de “responsabilidade” (Verantwortlichkeit) de Wilhelm Windelband, bem como sua revisão de certos elementos da filosofia dos valores neokantiana do sudoeste da Alemanha, permitiram que Weber estabelecesse um diálogo mais direto com os pressupostos de Kant em sua Crítica da razão prática. Em vista dessas influências, o presente artigo argumentará que a maneira como Weber revisa os imperativos categóricos direcionou sua compreensão da filosofia kantiana pelo conceito de “valores”, o permitindo ainda, propor a existência de uma antinomia entre a ética da convicção e da responsabilidade no interior das máximas morais kantianas. (shrink)

Discussion about one of my papers on Berkeley and reply to Téllez.

There are many ways in which a speaker can confuse their audience. In this paper, I will focus on one such way, namely, a way of talking that seems to manifest a cross-level kind of cognitive dissonance on the part of the speaker. The goal of the paper is to explain why such ways of talking sound so twisted. The explanation is two-pronged, since their twisted nature may come either from the very mental states that the speaker thereby makes manifest, (...) or from how the speaker chooses to express themselves (even if there is nothing wrong with their mental states). So-called ‘Moore-paradoxical’ utterances are but one example of the phenomenon, and the explanation of what is wrong about them is subsumed under a more general explanation here—one that captures also the twisted-ness of utterances whereby questions are raised or intentions expressed. (shrink)

Just started a new book. The aim is to establish a science of knowledge in the same way that we have a science of physics or a science of materials. This might appear as an overly ambitious, possibly arrogant, objective, but bear with me. On the day I am beginning to write it–June 7th, 2020–, I think I am in possession of a few things that will help me to achieve this objective. Again, bear with me. My aim is well (...) reflected in the title I chose (just now) for this book: Knowledge & Logic: Towards a science of knowledge. Its most important feature is that I shall take logic to be to knowledge science as calculus is to physics or to materials science. I do not intend to reclaim knowledge from the bosom of philosophy, in which, known as epistemology its erudite discussion has hardly progressed since Plato first defined it as true belief with logos. With only a few adjustments, it will actually provide me with the right, science-bound start. More recently, knowledge has been reclaimed by the field of BA, a reclaim that has opened the box of Pandora: Among the evils, and perhaps at the head of the list, is an overly lay, essentially naive, notion of knowledge. But the very idea that one can have something like “knowledge (management) software” puts us on the right track. (shrink)

Logic arguably plays a role in the normativity of reasoning. In particular, there are plausible norms of belief/disbelief whose antecedents are constituted by claims about what follows from what. But is logic also relevant to the normativity of agnostic attitudes? The question here is whether logical entailment also puts constraints on what kinds of things one can suspend judgment about. In this paper I address that question and I give a positive answer to it. In particular, I advance two logical (...) norms of agnosticism, where the first one allows us to assess situations in which the subject is agnostic about the conclusion of a valid argument and the second one allows us to assess situations in which the subject is agnostic about one of the premises of a valid argument. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

Why should we avoid incoherence? An influential view tells us that incoherent combinations of attitudes are such that it is impossible for all of those attitudes to be simultaneously vindicated by the evidence. But it is not clear whether this view successfully explains what is wrong with certain akratic doxastic states. In this paper I flesh out an alternative response to that question, one according to which the problem with incoherent combinations of attitudes is that it is impossible for all (...) of those attitudes to be simultaneously knowledgeable. This alternative response explains what is wrong with akratic combinations of attitudes using commonly accepted epistemological theses. The paper still shows how this proposal is able to explain the badness of incoherent combinations involving the absence of attitudes, suspended judgment and credence. These explanations deploy the notions of knowledge and being in a position to know, instead of the notion of responding properly to the evidence. Finally, I suggest that this picture can be generalized to the realm of practical rationality as well. (shrink)

1. La parution d’une nouvelle traduction française du Sophiste fait figure d’événement pour les nombreux amateurs du dialogue, puisque près de trente ans déjà nous séparent de la dernière traduction en date, proposée par Nestor-Luis Cordero (Platon : le Sophiste, Traduction inédite, introduction et notes, Paris, GF Flammarion, 1993). La traduction récente de Létitia Mouze est donc bienvenue, d’autant plus qu’elle arrive accompagnée de ce que l’autrice nomme un « guide de lecture » du dialogue...

In this paper, I offer two counterexamples to the so-called ‘Uniqueness Thesis.’ As one of these examples rely on the thesis that it is possible for a justified belief to be based on an inconsistent body of evidence, I also offer reasons for this further thesis. On the assumption that doxastic justification entails propositional justification, the counterexamples seem to work.

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

A topos version of Cantor’s back and forth theorem is established and used to prove that the ordered structure of the rational numbers (Q, <) is homogeneous in any topos with natural numbers object. The notion of effective homogeneity is introduced, and it is shown that (Q, <) is a minimal effectively homogeneous structure, that is, it can be embedded in every other effectively homogeneous ordered structure.

This paper defends a novel account of how to determine the intrinsic value of possible worlds. Section 1 argues that a highly intuitive and widely accepted account leads to undesirable consequences. Section 2 takes the first of two steps towards a novel account by clarifying and defending a view about value-contribution that is based on some of W. D. Ross’ claims about the value of pleasure. Section 3 takes the second step by clarifying and defending a view about value-suppression that (...) is based on Ross’ claims about the interplay between prima-facie duties. Section 4 states and defends the account that I call Rossian Totalism. According to this account, the atoms of intrinsic value within a world only sometimes contribute their intrinsic value to the value of that world. (shrink)

This paper proposes to reconstruct Boaventura de Sousa Santos' conception of "epistemologies of the south" both (a) as a critical theory aiming at denouncing the impoverishment of the epistemic field entailed by the normative imposition of a certain model of knowledge (what we call "the monoculture of reason"), and (b) as a long-term political project of a harmonic coexistence of different epistemologies ("an ecology of knowledges").

Deontological evidentialism is the claim that S ought to form or maintain S’s beliefs in accordance with S’s evidence. A promising argument for this view turns on the premise that consideration c is a normative reason for S to form or maintain a belief that p only if c is evidence that p is true. In this paper, I discuss the surprising relation between a recently influential argument for this key premise and the principle that ought implies can. I argue (...) that anyone who antecedently accepts or rejects this principle already has a reason to resist either this argument’s premises or its role in support of deontological evidentialism. (shrink)

"Noah and the Olive Branch" by Luis Herrera explores the profound symbolism of the olive branch in the context of human morality and existential renewal. Drawing on the biblical narrative of Noah's Ark, Herrera delves into a metaphor for peace, reconciliation, and the restoration of harmony between humanity and the natural world. The work interprets the olive branch not merely as a sign of the flood's end, but as a deeper emblem of ethical rebirth, signifying the opportunity for humanity (...) to reconstruct a more just and compassionate world after calamity. -/- Through a philosophical lens, Herrera examines the duality of destruction and creation, positing that potential for moral and spiritual growth follows great trials. The text questions the nature of divine justice and human responsibility, suggesting a call for ongoing ethical vigilance in a world perpetually on the brink of self-destruction. -/- It is a parable for man's quest for connection and reconciliation with the divine, in a violent world filled with chaos, anarchy and the antinomian pursuit of hedonistic ideals. Herrera's work resonates with contemporary concerns about cultural degradation and social fragmentation, urging a re-evaluation of our relationship with God and each other. The olive branch, in this interpretation, becomes a timeless symbol of hope, resilience, and the enduring quest for a harmonious existence. (shrink)

Deontological internalism is the family of views where justification is a positive deontological appraisal of someone's epistemic agency: S is justified, that is, when S is blameless, praiseworthy, or responsible in believing that p. Brian Weatherson discusses very briefly how a plausible principle of ampliative transmission reveals a worry for versions of deontological internalism formulated in terms of epistemic blame. Weatherson denies, however, that similar principles reveal similar worries for other versions. I disagree. In this article, I argue that plausible (...) principles of ampliative transmission reveal a worry for deontological internalism in general. (shrink)

Recent investigations surprisingly indicate that single RNA "stem-loops" operate solely by chemical laws that act without selective forces, and in contrast, self-ligated consortia of RNA stem-loops operate by biological selection. To understand consortial RNA selection, the concept of single quasi-species and its mutant spectra as drivers of RNA variation and evolution is rethought here. Instead, we evaluate the current RNA world scenario in which consortia of cooperating RNA stem-loops are the basic players. We thus redefine quasispecies as RNA quasispecies consortia (...) and argue that it has essential behavioral motifs that are relevant to the inherent variation, evolution and diversity in biology. We propose that qs-c is an especially innovative force. We apply qs-c thinking to RNA stem-loops and evaluate how it yields altered bulges and loops in the stem-loop regions, not as errors, but as a natural capability to generate diversity. This basic competence-not error-opens a variety of combinatorial possibilities which may alter and create new biological interactions, identities and newly emerged self identity functions. Thus RNA stem-loops typically operate as cooperative modules, like members of social groups. From such qs-c of stem-loop groups we can trace a variety of RNA secondary structures such as ribozymes, viroids, viruses, mobile genetic elements as abundant infection derived agents that provide the stem-loop societies of small and long non-coding RNAs. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

A response to Jean-François Lyotard’s view of postmodernism and the denial of the metanarratives.

El siguiente artículo hace un recuento sobre las ciencias tradicionales del Islam: de dónde se originan y como las presenta Ibn Jaldún en sus Prolegómenos a la historia universal. Se plantean y destacan algunas de las principales características de dichas ciencias, y finalmente, se hace un comentario con respecto al carácter epistemológico de las mismas y con respecto a cómo pueden concebirse y fundarse unas ciencias asentadas sobre un principio de autoridad.

The paper is concerned with the rational requirements for suspended judgment, or what suspending judgment about a question rationally commits one to. It shows that two purported rational requirements for suspended judgment cannot both be true at the same time, at least when the entailment relation between questions is understood a certain way. The first one says that one is rationally required to suspend judgment about those questions that are entailed by the questions that one already suspends judgment about. The (...) second one says that one is rationally required to believe the presuppositions of the questions one suspends judgment about. Two plausible solutions to the problem are discussed. One of them explicates the relation of entailment between questions in an alternative manner, and the other one rejects the presupposition requirement. Either way, a closure requirement for suspended judgment can be maintained which is analogous to the closure requirement for belief. Whereas belief is ideally closed under entailment between propositions, suspended judgment is ideally closed under entailment between questions. (shrink)

The tragic death in Tolstoy's writings has helped both Max Weber and György Lukács in characterizing the modern pathos as a tragic contemplation of the emptiness of life. Through Tolstoy's readings, Weber and Lukács found an interesting source of denying arts and modern sciences autonomy, considering, from the aesthetics sphere, the meaningless of this new immanent reality. Both has assumed Tolstoy main theme from the same perspective, contrasting ancient and modern worldviews. Max Weber presented this theme in his disenchantment of (...) world theory and Lukács, in a very similar way, following the paradox of religious needing as a mainline. -/- O tema da morte trágica, presente nos escritos de Liev Tolstói, auxiliou tanto a Max Weber como a György Lukács a caracterizarem o pathos moderno de pressentimento da morte como uma contemplação do vazio. Weber e Lukács encontraram, através das leituras de Tolstói, uma interessante maneira de questionar a autonomia da arte e da ciência moderna, considerando pela esfera estética, como se mostra sem sentido a recente realidade imanente. Ambos assumiram o tema central das obras de Tolstói segundo uma mesma imagem, derivada do contraste entre o mundo antigo e o moderno. Max Weber adequou esse tema a sua teoria do desencantamento do mundo e Lukács, de modo muito semelhante, seguindo seu conceito do paradoxo da necessidade religiosa. (shrink)